Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
901	PDF Document Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2004-08-16 11:52:46 Dimensional analysis Physical quantity Dimensionless quantity Matrix Theoretical physics Linear temporal logic Spectral theory of ordinary differential equations Physics Measurement Buckingham π theorem
902	PDF Document Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2006-07-03 23:25:31 Operations research Dynamic programming Algorithm Mathematical logic Maximum subarray problem Time complexity Divide and conquer algorithm Fast Fourier transform Linear programming Theoretical computer science Applied mathematics Mathematics
903	PDF Document Add to Reading List Source URL: www.cs.sandia.gov Language: English - Date: 2004-07-06 17:09:14 Electronic circuits Electronic design automation SPICE Logic simulation Electrical network Linear circuit Electronic circuit simulation Electronic engineering Software Application software
904	PDF Document Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-06 21:57:45 Temporal logic Linear temporal logic Model checking Static single assignment form Scheduling Abstraction Semaphore Promela Finite-state machine Computing Software engineering Models of computation
905	PDF Document Add to Reading List Source URL: theo.cs.uni-magdeburg.de Language: English - Date: 2003-05-12 08:23:04 Theoretical computer science Controlled grammar Context-free grammar Formal grammar Regulated rewriting Linear grammar Context-sensitive grammar Matrix grammar Indexed grammar Formal languages Linguistics Logic
906	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2003-10-15 07:19:02 Modal logic Non-classical logic Model theory Temporal logic First-order logic Substitution Accessibility relation Well-formed formula Linear temporal logic Logic Mathematical logic Propositional calculus
907	PDF Document Add to Reading List Source URL: rspa.royalsocietypublishing.org Language: English - Date: 2015-04-04 10:43:17 De Broglie–Bohm theory Antony Valentini Probability amplitude Probability current Psi Linear temporal logic Wigner quasi-probability distribution Physics Quantum mechanics Wave function
908	PDF Document Add to Reading List Source URL: fs.gallup.unm.edu Language: English - Date: 2011-07-13 10:13:16 Operations research Convex analysis Convex optimization Fractional programming Duality Combinatory logic Linear programming Vector space Convex function Mathematical optimization Mathematics Algebra
909	PDF Document Add to Reading List Source URL: physics.uoregon.edu Language: English - Date: 2011-10-10 13:58:14 Mathematics Generalized functions Μ operator Dirac delta function Distribution Wave function Momentum operator Function Linear temporal logic Mathematical analysis Quantum mechanics Physics
910	PDF Document Add to Reading List Source URL: people.math.sfu.ca Language: English - Date: 2010-08-16 18:19:35 Model theory Philosophy of language Philosophy of mind Semantics Partial differential equation Linear temporal logic Μ operator Mathematics Logic Interpretation

UPDATE